Bernhard Beckert's Documents

Bernhard Beckert's Documents

Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2005

Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2005
Read more
Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
Read more
Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer Science)

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer Science)
Read more
Formal Verification of Object-Oriented Software

Formal Verification of Object-Oriented Software
Read more
Beckert-Graft

Beckert-Graft
Read more
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science)

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science)
Read more
Beyond the Market: The Social Foundations of Economic Efficiency

Beyond the Market: The Social Foundations of Economic Efficiency
Read more
Beyond the Market: The Social Foundations of Economic Efficiency

Beyond the Market: The Social Foundations of Economic Efficiency
Read more
Beyond the Market: The Social Foundations of Economic Efficiency

Beyond the Market: The Social Foundations of Economic Efficiency
Read more
Beyond the market: The social foundations of economic efficiency

Beyond the market: The social foundations of economic efficiency
Read more
The Worth of Goods: Valuation and Pricing in the Economy

The Worth of Goods: Valuation and Pricing in the Economy
Read more
Transformationen des Kapitalismus

Transformationen des Kapitalismus
Read more
The American Bourgeoisie: Distinction and Identity in the Nineteenth Century (Palgrave Studies in Cultural and Intellectual History)

The American Bourgeoisie: Distinction and Identity in the Nineteenth Century (Palgrave Studies in Cultural and Intellectual History)
Read more
100 Jahre Mathematisches Seminar der Karl-Marx-Universitaet Leipzig

100 Jahre Mathematisches Seminar der Karl-Marx-Universitaet Leipzig
Read more
Fallbuch Innere Medizin

Fallbuch Innere Medizin
Read more
Fallbuch Innere Medizin

Fallbuch Innere Medizin
Read more
Fallbuch Innere Medizin

Fallbuch Innere Medizin
Read more
Selbs Mord

Selbs Mord
Read more
De elfen ridders II

De elfen ridders II
Read more
Concrete (Vintage International)

Concrete (Vintage International)
Read more
De Elfen

De Elfen
Read more
Der weisse Reiter

Der weisse Reiter
Read more
Selbs Justiz

Selbs Justiz
Read more
Elfenlicht

Elfenlicht
Read more
Characters and Cyclotomic Fields in Finite Geometry

Characters and Cyclotomic Fields in Finite Geometry
Read more
E-Collaborative Knowledge Construction: Learning from Computer-Supported and Virtual Environments (Premier Reference Source)

E-Collaborative Knowledge Construction: Learning from Computer-Supported and Virtual Environments (Premier Reference Source)
Read more
Selbs Mord

Selbs Mord
Read more
Conceptual Modeling - ER '96: 15th International Conference on Conceptual Modeling, Cottbus, Germany, October 7 - 10, 1996. Proceedings: 15th

Conceptual Modeling - ER '96: 15th International Conference on Conceptual Modeling, Cottbus, Germany, October 7 - 10, 1996. Proceedings: 15th
Read more
Self's Deception

Self's Deception
Read more
Elfenlied

Elfenlied
Read more